Proof Summation of PMF of Hypergeometric Distribution = 1 English